______

Chris Menzel wrote:

&gt; The issue is whether you want disjointness to have an implicit modal
&gt; connotation.  If all you ever mean by saying C and C' are disjoint is
&gt; that, right now, as things stand, they have no common instances, then the
&gt; above axiom is fine.  You just have to bear in mind that classes that are
&gt; in fact disjoint can suddenly cease to be disjoint.  On the other hand,
&gt; if, by saying C and C' are disjoint, you mean something stronger -- namely
&gt; that C and C' 