TAGs: deduction