Hand-wavy progress proof. Moving on to cleanup and regex section for now.
Merge branch 'master' of github.com:cyrus-/papers
Content finished; starting cleanup.
String proof reading for grammar etc.