Formal order

For first-order coefficients, use

Equality in $\mathbb{D}$ is coefficient equality, not a numerical remainder estimate.

In the two-representative estimates, $\kappa$ can instead be a real parameter in an exact degree-one polynomial. We indicate that use explicitly. A real representation or cutoff parameter in a different model is not automatically this nilpotent formal parameter.