eliminate acronym HoTT