7.3.12 A cut subsubsection

A note in a subsubsection flushed at document level.⁷