Finish more exercises in Induction