k = -(7 + x