@functional-abstraction/predicate