Understanding quantifiers