Induction: Initial commit, adds Exercise 2.