Forming a deduction