From: Miles Bader <miles@gnu.ai.mit.edu>