Predicates and expressions defined