added what HasKAL stands for