hal ' 1 , 2,