2010. Deduction. The Reasoner. 4, 4 (Apr. 2010).