Quantifiers I (Revision)