[ Eq(x10, x1 - x2) ]