Definition of Deduction