Unfinished drafts. Contents are largely unverified and should not be taken too seriously.