<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Apr 28, 2013 at 10:55 AM, gs <span dir="ltr">&lt;<a href="mailto:voldermort@hotmail.com" target="_blank">voldermort@hotmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im">Alexander Solla &lt;alex.solla &lt;at&gt; <a href="http://gmail.com" target="_blank">gmail.com</a>&gt; writes:<br>

<br>
&gt; I do not support that criterion.  We use theory to ENSURE that no<br>
real-world code will break.<br>
<br>
</div>By theoretical example, I meant something which you would never expect to<br>
find in use. Perhaps it was a poor choice of wording in an academically<br>
orientated forum :-)</blockquote><div><br></div><div style>I understood that much.</div><div style><br></div><div style>The problem is there is no good way to know what code we should &quot;expect&quot;.  Real world code might be &quot;unexpected&quot;.  Your criterion amounts to hoping no real world code breaks.</div>
</div></div></div>