{ x6 = k3 - x3 }