Formal Green operators

The theorem characterizes the declared linear construction XC (:yf). The commutator is not an interacting two-point response or a construction of a state. No assertion that ${\mathcal{R}}_q$ is an automorphism of the unchanged free algebra is made.