x_{t+1} = T(x_t, a_t)