modified requirements for "predicates"