TAGs: induction