Tagged think-dep