[ Diff(x[2], t) = 0 ]