HoTs, DoTs, and Fixs