<br><br><div class="gmail_quote">On Sat, Aug 14, 2010 at 02:25, Shriram Krishnamurthi <span dir="ltr">&lt;<a href="mailto:sk@cs.brown.edu">sk@cs.brown.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">I think it&#39;s fairly safe to say that, at SOME point in his career,</div>
such an example just may possibly have stolen across Matthias&#39;s mind<br>
(-:.  You might learn more by thinking about why it is he rejected<br>
this option, than by trying to sell him on it.<br>
<font color="#888888"><br>
Shriram<br>
</font></blockquote></div><br><div>I&#39;m sure of that - that&#39;s exactly why I raised the question here, to guide me to why it might be a bad idea.</div>