Simpl, descruct, induction exercises