What is hal?