list things we don't do at the end of intro of the HOP paper #53

Closed rfl-urbaniak closed 5 months ago