Quantifier tag sponsored by:

Quantifiers in Language and Logic