 relations and
&gt;tuples do not, from my perspective, appear to reflect
&gt;any such understanding yet.

I agree that there are many issues on which we have not yet
reached closure.  In particular, I agree with you about the need
for triadic representations.  However, I have stopped pushing
that idea on SUO list because enough bits have been spilled on
this topic already.

My current strategy is to stop wasting time arguing about the
abstractions.  Instead, I am working on answering another challenge:
how 