We will construct the shape of hypothetical counterexamples. Our main tool is the use of filters, that eliminate possible (a,b) that could be the end point of R, where R,F are as in Theorem I.7.11.

RF-filter I with M=16

RF-filter II with M=16