provide predicates