We did examples of two big techniques from chapter 12:
We saw an example where the recursive definition, and thus the inductive proof, used the values from two smaller input values.