JFP-ify conclusion.
Merge branch 'jfp' of github.com:lkuper/dissertation into jfp
Minor corrections in 3 and 4.