complement of a predicate
conjoin predicates