updated to describe quantifiers