Discrete Math - 1.4.2 Quantifiers