
&gt;In your case, you can use it to record your
&gt;ontological preference - which, like Pat, you see as overwhelmingly
&gt;obvious - for a particular choice. In fact, if you are looking for lattice

&gt;of theories, it seems to me that these could usefully form two (disjoint)
&gt;nodes on the lattice, even if one of the nodes is left to wither, as you
&gt;recommend.

Yes, that is possible.  But all I am proposing to do is to
adopt a framework with an infinite lattice of theories in it.
It is not my job to