Some of the exercises for the Induction chapter.