added Existential predicate