validity_predicate