From HAL to Halbert