The explicit truncation

This is the transformation of the classical mixed term evaluated on the free field. It is generally nonzero. X-A cancels it in the complete classical coefficient together with the transformations of the remaining terms. Equation (eq:truncation) alone is not given that invariant status.