Observation derivatives and smooth spectators

Finite products of smooth field jets satisfy the multiplier condition under the corresponding compact smooth bounds. Smooth Cauchy responses may be used when their required smooth seminorm bounds are supplied. This rule does not multiply by an additional singular spectator distribution, classify arbitrary decorated graphs, or prove carrier admission of every resulting functional.