14.4.3. Quantifiers