The specification as plain text.
The new views. For comparison: the old version of Nat and its flattened version.