This must be a "must" then, unless this section is non-normative.