⁴This general requirement is instantiated as a number of restrictions throughout the document, typically on the form: “Some named {stream, type, … }E may not be defined more than once per scope of the namespace of {streams, types, … }.”