[see also: remain, continue
The point is that (5) can stay small because......
If we stay a fixed distance off the critical line, we do not expect Benford behaviour.
The Markov chain zk takes no account of how long the process stays in V.
This path stays in B for all time.