added documentation of the HoL