[ x[2] = k[6] - x[3],
  x[6] = k[5] - x[1] ]