formatting of HoL