* predicates