How To Do Strong Induction