Pretty diagrams!!
Greatly expand discussion of open/closed sets, other work.