ANNOTATED-CSE20-Lec-16-Proofs-by-Contradiction.pdf