[ Eq(x6, k3 - x3) ]