¹⁴RH: It is odd to put a normative requirement on an example section.