urantist choice -  which, as one would guess, raises its
&gt;head in the notion of collections.
&gt; &gt;In the spirit of starting middle out (with rich middle-level concepts) -
&gt;it
&gt; &gt;may make sense to defer any decision of abstractness and sets until we
&gt;have
&gt; &gt;some more material to work on.
&gt;
&gt;Well, if there is one topic in the world that might be said to have
&gt;been formalized to death, it is surely set theory. You think the jury
&gt;is still out? (And you think we are going t