induction: clarify exercises