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