The Dragon of Deduction