p. 714, l 20, 40ff: It the only normative text outside of an example environment in this section. This is kind of weird without introductory text to the example

[wesbland]