Deduction for Production