an><span class="n">p1</span><span class="w"> </span><span class="p">)</span><span class="w"> </span><span class="k">THEN</span>
<span class="k">      DO</span>
<span class="c">!</span>
<span class="c">!     THE STOPPING CRITERION IS THAT THE LOWER BOUND</span>
<span class="c">!     AND UPPER BOUND ARE EXACTLY 1 UNIT APART.</span>
<span class="c">!     CHECK TO SEE IF IX1 = IX0 + 1;</span>
<span class="c">!     IF SO, THE ITERATIONS ARE COMPLETE;</span>
<span class="c">!     IF NOT, THEN BISECT, COMPUTE PROB