Properties of quantifiers