Remark: No unproved identification of ordering presentations

The supplied X-F-ST allows a stipulated Wick presentation. The action-normalized causal algebra above is not identified with that presentation by ignoring an antisymmetric-part or scalar-sign difference. A smooth change of normal ordering cannot change a causal commutator.

The predecessor tree identity is retained at ${\hslash }^0$, where it is an identity of normal symbols modulo equations. Any later use at quantum order must specify a compatible common product presentation and its transport. No such identification is hidden in Theorem thm:freeBRST.