What Does Hal Stand For