Right, but the point is, even under the assumption of constant seek times, he didn't seem to get that "doesn't not depend on x" is the same as "constant [implicitly taking the only relevant parameter to be x]".