Input statement: XIII-A: evaluation, not quotient

Fix nonempty $W$ with $\overline{W}\subset \mathrm{int}\{g=1\}\cap \{\epsilon <t<T\}$, ${\mathfrak{g}}_W={C_c}^{\infty }(W;TM)$, ${\mathcal{C}}_W=\{u\in {\mathcal{C}}_{\mathrm{sol}}:D^{\ast }b=0\text{ on }W\}$. Under

one has ${\Delta }_{\xi }\mathcal{O}{|}_{{\mathcal{C}}_W}=0$ for every $\xi \in {\mathfrak{g}}_W$. The coefficientwise kernel ${\mathcal{N}}_W$ is not a two-sided ideal: compact smearings give $[L_q,G_h{]}_{{\star }_H}=i\hslash C(q,h)1$ with $C(q,h)>0$, and an admissible rank-one ordering change gives ${\alpha }_d({L_q}^2)={L_q}^2+\hslash L_q(u{)}^2$. No reduced algebra was handed off; ${\mathcal{C}}_W$ is an evaluation set XIIIA.