In the second branch, cnd is replaced by T, which we saw above is always strictly less than cnd, thus increasing pos - cnd.
在第二个分支里，cnd被T所替代，即以上总是严格低于cnd，从而增加了pos - cnd。