Stuff for the paper. Heavily commented to fit guidelines

Most of the things in this upload are still drafts. This is done before
having dinner.