A \in \sigma \setminus \{T\}