[ Eq(x6, k2 - x3) ]