存在量词

existential quantifier