HoTT exercise