First go at the Induction chapter