[ Eq(x3, x4 - x2) ]