more HALisms
more HAL