Merged preamble spacing changes.
Merging variable / name notational change.
More work on machine translation.
Kill mentions of wrap.
Trailing whitespace.
Intersection done! That was some shit.
Merged intro sections.