24.970-02-quantifiers.pdf