Rather than starting with the fully-coherent Vsize, this now starts with
the input Nseg0 (i.e. from the SC search). and works back to Nseg=1.
The user is then left to check the V0 value and whether the search is
appropriate or not. Applies the idea to the follow-up example.