[ Eq(x3, x2*k3/(1 + k3)),
  Eq(x5, x7*k4/(1 + k4)),
  Eq(x6, x7 - x5) ]