existential quantifier (∃)