HAL criticism