on is exactly the opposite. If the SUO reflects any
&gt; &gt; linguistic bias then it will be the less useful for it, which is one
&gt; &gt; reason why NL intuitions should be avoided, or at any rate treated
&gt; &gt; skeptically.
&gt;
&gt;However, I believe that the only thing worse than a half-baked
&gt;intuition is no intuition at all (which seems to happen with many
&gt;mathematicians who plunge into formalization without a clue about
&gt;what they are formalizing).
&gt;
&gt;My opinion about NL intuitio