Definition of "deduction"