predicates, expressions