My entry for this year's Summer of Math Exposition #SoME4 The challenge was to create something that can be used "in the classroom" and it will be judged in this regard in peer-review. Not sure how well the idea of "try to do induction exercises without induction" works for this, but we'll see.