whole
Predicate