An Elementary History of Deduction