[ x[6] = k[2] - x[3] ]