2010. Mathematical Reasoning. The Reasoner. 4, 3 (Mar. 2010).