Assumption: Declared normalized retarded family

For the arguments used below, normalized multilinear maps $R_n$ have been constructed, with

Their distributional domains, causal normalization, graded signs, and required equation-ideal descent are proved. They have nonnegative formal $\hslash$ expansions.

The maps have no additional hidden $\kappa$ dependence; any such dependence has first been expanded and included in the coefficient inventory. Interaction arguments are even, and the factorial convention is the one displayed.

If

is used, divisibility of the numerator by $\hslash$ is proved on the declared pair.