ion, since its argument is
&gt; at least a 3-tuple -- and you can tell that it's at least a 3-tuple
&gt; from the fact that it has at least 3 components.  That's all that
&gt; a 3-tuple is.
&gt; 
&gt; The basic principle here is:
&gt; 
&gt; | If it looks like a k-tuple,
&gt; | if it talks like a k-tuple,
&gt; | if it walks like a k-tuple,
&gt; | then abduce it's a k-tuple.
&gt; 
&gt; Jon Awbrey
&gt; 
&gt; ¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
&gt; 

</PRE>

<!--X-Body-of-Message-End-->
<