{ x6 = k2 - x3 }