 lesson that I, for one,
&gt;learned from my honest, if naive, attempts, and that is just that
&gt;formalisms like the "logic of deductive inference" (LODI) and the
&gt;"theory of classes and sets" (TOCAS) are perfectly -- well, almost
&gt;perfectly -- good forms of representation for succintly summarizing
&gt;what you have discovered, at any rate, once you have discovered it
&gt;usually by any other means possible, in what is often called the
&gt;"context of justification and review" (COJAR), but that thes