On Jun 27, 2007, at 2:57 AM, David Woodhouse wrote: > Nevertheless, it's an accurate description of what happened. Let's agree to disagree. In any case, it doesn't matter at this point. We have work to do. -- Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | GPG: 0x147C722D