Some further exposition is necessary to tie some loose ends. Also includes punctuation fixes from `-` to `—`