filtering
many of you have multiple email addresses for me. The ones with username 'phi' are all hosted on a linux box belonging to a friend of mine, whence they forward to gmail. I've recently had to turn up the spam filtering on that box a notch, and a test of the new filters shows that every once in a while they do catch some ham. So if you want to be sure to reach me, and especially if your spelling is poor, email me at gmail instead.