quantifiers (posted 04/03)