(x^*_t, a^*_t) \not\in E
\quad
\forall t \geq 0