almost done with Induction chapter