ANNOTATED-CSE20-Lec-10-Predicates-and-Quantifiers.pdf