ANNOTATED-CSE20-Lec-18-Strong-Induction.pdf