[ Eq(x4, k14 - x2) ]