validated
Predicate