Adds missing spaces in LaTeX formulas; adds subsections.
Removes unnecessary TODOs.
Removes completed TODO in favor of prose.
Requires capitalization in bibtex title.