TAG:deduction