simpler predicates