Logical functor