Coordinate equations, with every ramp term

The defining operator contains one derivative of $\sigma$, not a discarded ramp term. No explicit ${\sigma }^{\prime \prime }$ term is generated by expanding its single divergence. Derivatives of solutions or of coefficient identities may of course differentiate ${\sigma }^{\prime }$; the statement is about the displayed defining operators.