A4: ordering acts on functionals

The nonzero $bb$ component of this difference is permitted. The vanishing frozen $H_{bb}$ block is not a requirement on every admissible replacement. Nor is a separate condition making the unchanged symbol rule $s_0$ a derivation for $H+d$ required: XII-A transports that differential by conjugation when necessary.