A mechanism based on
this observation is then used to terminate unpromising
probes early. The basic idea is to probe the lists
sequentially and ignore the intervals that result in
empty probed intervals. The Probe function is called
recursively so that unpromising probes are naturally
avoided. We call this algorithm the PROBEISECT+
algorithm, and its details are illustrated in Algorithm 5.