a_t \in \Gamma(x_t)