The specification may be renamed, in which case we should update our references to it in chapter 1.2.7.
The specification may be renamed, in which case we should update our references to it in chapter 1.2.7.