introduce predicates