The Science of Deduction