New system that will contain some definitions from Chapter 3 of the HyperSpec.