ANNOTATED-CSE20-Lec-06-Propositions.pdf