<div dir="ltr"><div>Just saw this on Donald Knuth's site: <a href="http://www-cs-faculty.stanford.edu/~uno/news12.html#ture">http://www-cs-faculty.stanford.edu/~uno/news12.html#ture</a>. Slightly old news, but I couldn't find it in the -discuss archives and thought it might be interesting. Enjoy!<br>

<br></div>--AE<br></div>