\overline{AB} \nsubseteq \sigma \setminus \{T\}