I can't help but think of a couple things:<p>"Beware of bugs in the above code; I have only proved it correct, not tried it." -Donald Knuth<p>And this bug:
<a href="http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html" rel="nofollow">http://googleresearch.blogspot.com/2006/06/extra-extra-read-...</a><p>EDIT: I should have elaborated further. I did not intend to sound like I'm dismissing this work, because it's a cool step forward. It's just that this reminded me of those things that happened before.