Induction + Recursion.pdf