The Discovery of Deduction