k to me!?) but what should I have said?

Well, I'm not sure I understand what you were trying to say well enough.
Perhaps simply that all relations between classes have to be definable
by some first-order condition?

Regards,

-chris


</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<!--X-Follow-Ups-End-->
<!--X-References-->
<ul><li><strong>References</strong>:
<ul>
<li><strong><a name="02056" href="msg02056.html">RE: SUO: Exposition</a></strong>
<ul><li><em>From:</em> &q