HAL representation