Is Hal Short For Anything