Pre predicate