Lecture 2022-02-15. A proof by strong induction: the Fundamental Theorem of Arithmetic. Induction on a definition: boolean formulas have the same number of left and right parentheses. Recursion as a problem-solving technique. Counting the number of tic-tac-toe games. The Towers of Hanoi problem.