Induction proofsโ€™ exercise list