On Thu, Feb 02, 2006 at 04:23:40PM -0800, John McCarthy wrote: > Hendrik Lenstra included I am not Hendrik Lenstra. -- Hendrik Boom <hendrik at topoi.pooq.com>