- set theory with Extensionality axiom (inference rule)
 - Infix plus, times
 - Iff connective with intro, elim rules
 - axiom utility
 - nary And utility
 - .md conversion
   - title, markdown metadata
talking to the web
update to ipython2; swap in Docker. (rough notes)
start editing ipython2 story: split into cells with headings
graphviz diagram of docker states