[ Eq(1*x1 + 1*x2, k4) ]