Symbols:Existential Quantifier