ions, followed by the set-theoretic
intersection of these two tacit extensions, and then by the
projection of this intersection, which happens to be the
largest 3-adic relation that fits the prima facie 2-adic
projection data, into a third 2-adic relation, which is
the thus-computed relational composition of the given
pair of 2-adic relations.

I usually think of this definition of composition as &quot;Tarski's Trick&quot;,
because I learned it from a paper of Ulam that attributes it to Tarski,
but I would 