Mathematical induction (The Reasoner, 2008)