Induction: Adds solutions to Exercise 2.