[ x[3] = k[1] - x[4],
  x[10] = k[2] - x[11],
  x[18] = k[3] - x[19] ]