valid predicate