Introduce not present predicate.