Discovery of Deduction