The equation space and its action

The proof retains the forced scalar correction CheungIIIJet. Discarding ${\varphi }_1$, or declaring it independently free, would change the equation space and invalidate this conclusion.

The evaluation of a field-dependent section is an orbit calculation. Differentiating that section in a symplectic or Hamiltonian reduction is an additional operation; derivatives of $w_R(h)$ would then have to be retained.