The numbers inserted in L must increase strictly down each column.
This accords with the intuition that as we pass down the coding tree, we find out more and more detailed information about the ordering actually represented.
Thus, everything comes down to proving the existence of M.
Important analytic differences appear when one writes down precisely what is meant by......