2007-05-09 Letters of a bi-rationalist: VII. Ordered termination math http://jp.arxiv.org/abs/math/0607822