What remains clear is that any such movement reduces the worst-case lag in the whole system.
the worst-case lag in the whole system monotonically decreases as balancing decisions are made, and that much is subject to an infinite descent argument.