What's HoTT Bow Ties