2008. Mathematical induction. The Reasoner. 2, 6 (Jun. 2008).