This was a bit too long for me, although including that table of contents helped a lot and I wish more long posts did that. (It's not quite a high level deductive argument, where each section is arguing or explaining a particular axiom or deductive step, but it's helpful anyway.)