ANNOTATED-CSE20-Lec-12-Proofs-and-Sets.pdf