31.5 Predicates