{ diff(x2, t) = 0 }