Rewrote the proof of compactness. The whole section needs a lot of
work still.
Added various things we need to do following emails with Richard.