Application to every vertex term

The crossed operators are exactly $\mathrm{id}$ and the four ${\partial }_{2,\mu }$; raised derivatives are fixed linear combinations. They do not enlarge wavefront sets. The map $\mathfrak{f}$ is a linear submersion.

For a fixed $K$, define ${\mathcal{O}}_K$ as the open set where, componentwise for every vertex pairing,