Shorten notation section; much vertical whitespace on p2 at the moment.
Shorten the introduction (now less than 2pp).
Various easy shortenings in wellorders section.