Operators and predicates