ANNOTATED-CSE20-Lec-20-Structural-Induction.pdf