 other problems that I felt I should fix were these:

1.  Even though there was probably no chance
    that "Element1", "Element2", "Element3"
    would have been read in a set-theoretic
    sense, instead of naming the components
    of a 3-tuple, I think that it is best to
    avoid any potential for confusion, since
    it would be downright silly to think that
    these sorts of expressions would serve as
    free-standing axioms, that is, without some
    medium of set-theoretic or kinship-theoretic
  