[TUHS] hal.gnu.ai.mit.edu