TOAQ
ENGLISH
existential quantifier