inductive proofs dos and donts 9374811