Hal is pretty smart.