TTnt / if / t)