Remove excess newlines
Clean up BibTeX format
Add folds; rework definition enumeration

* First, folds!
* Second, let's follow Burnet and call the argument at 9cff.
  a reformulation of the second definition, rather than a third definition.