Sections
Induction: An introduction to proof techniques, covering proof by contradiction and induction