Work on induction chapter