Please update the comment, since the scheduling invariant isn't here.