I also love the scene where Dave takes Hal apart. We've always called the first computation the Macaulay computer algebra system completed "Hal's Song".

>I'm sorry Dave. I'm afraid I can't do that.

>Can't let you do that, Star Fox!"

Screw it, lets throw in the Car Fax fox as a state trooper, and I'm pretty sure we have a reasonable starting point for a video game worldbuild.

Call it Car Fox.

https://m.youtube.com/watch?v=eWgrvNHjKkY