T^{(2)}(x, a) = T^{(1)}(x, a)
\quad
\forall (x, a) \not\in E