Situation: I have forgotten how to write inductive proofs.