refining

Fixing some errors: k instead of n, rewriting a number of passages.
Reduced the size to 18 pages without the appendix.

Needs a bit more reformatting for the graph to sit in nicely but is now
the correct length for submission.