maybe let's explain what HAL is from wikipedia?