added a note under Quantifiers