working on intro, esp. a section on HITs
a notational comment in Ch. 1
basics: universal properties, "AC", etc.