Rest of the Induction exercises (what I can complete anyway).