Use of quantifiers