TAGs: verifying