Chapter 4: Induction and Recursion and reduction