I have a new address: <imurdock@gnu.ai.mit.edu>. Please ensure that all mail to me in the future is sent to this address. My Portal account will not exist for much longer... (I'm going to have it cancelled as soon as I return from vacation).