introduced Predicate and Operator