le publicly -- is it in there and I missed it, or 
is it something embedded in the unavailable reasoning mechanisms?

&gt; There isnt going to be a single UO which allows them 
&gt; all to coexist, and if you try to take a bit from one and a bit from 
&gt; another you will just get incoherence and muddle.
    If one views the SUO as some set of assertions about the real world
we live in, it does seem likely that there will be incompatible theories.
But if it is considered to be the logical language that can