Title: Discovery of Deduction