{ x3 = x2*k3/(1 + k3),
  x5 = x7*k4/(1 + k4),
  x6 = x7 - x5 }