For those who don't know already, Roger Needham died last Friday night. He will be missed greatly. http://www.newswireless.net/articles/030301-needham.html http://news.bbc.co.uk/1/hi/technology/2814517.stm http://www.admin.cam.ac.uk/news/dp/2003030401 http://research.microsoft.com/users/needham/needham.aspx http://www.cl.cam.ac.uk/~ksj/RogerNeedham.html