Deduction and Novelty. tr 2011, 5 (4).