Make predicates check exists, not defined