y finds a whole nuther proof?

&gt; My recommended definition is to require
&gt; any meaning-preserving translation to have
&gt; four properties:  proof-preserving, invertible,
&gt; vocabulary preserving, and structure preserving.
&gt; Even these requirements leave a lot of room
&gt; for further refinement, as I discuss in
&gt; the meaning.htm excerpt.

Yes, I can see the potential for indefinite refinements --
I just do not see them distilling the logical substance.

Jon Awbrey

¤~~~~~~~~~¤~~~~~~~~~¤~~~