 &gt; fact, the things that others have had to sweat it out to
&gt;  &gt; discover by almost any other means possible.  The only
&gt;  &gt; kind of necessary condition that you are talking about
&gt;  &gt; here is the necessary end of an insufficient means.
&gt; 
&gt; I agree.  That notation, with some minor modifications
&gt; by Peano, was Peirce's first method for representing all
&gt; of first-order logic.  He later discovered a far better
&gt; system, which he called his &quot;chef d'oeuvre&quot;, and w