T\notin \overline{AB}