Feature: Getting to QED, part 2: deduction and arguments http://arstechnica.com/business/problem-solving/2010/11/getting-to-qed-part-2-deduction-and-arguments.ars November 12, 2010