2011. Deduction and Novelty. The Reasoner. 5, 4 (Apr. 2011).