solved extra exercises on Induction