Why would they call it HALL? ARE THEY NUTS?
they called it hal because it would be hilarious, and they knew they would get publicity for calling it that. and hal...
DID THEY REALLY NAME IT HAL OHMYFUCKINGOD
WHY DID THEY CALL IT HAL YOU’VE DOOMED US ALL
WHY WOULD THEY CALL THIS THING HAL????