Spectral Example: Todo Flow

visitor{
    can login{
        logged in{
            can list todo tables
            can enter todo table{
                can add new todo
                can mark todo done
                can mark todo undone
                can delete todo
            }
            can create todo table
            can delete todo table
        }
    }
    can register
    can see landing page 
    can see docs{
        can see instructions
    }
}