The exact expression requiring control

On the retained germ, the required object is

This is the complete sum to be tested, not its $B_6$ summand.

The copied relation is used with $(x,u,y)=(b,a,y)$. For $\ell =(1,1,0,0)$ and $p=\eta (\ell ,\cdot )$, its line covectors in the order $(b,a,y)$ are

Their sum is zero. The residual metric variable has zero covector in this copied product-test selection.

On the microlocally admissible open sets, each contraction in (eq:retainedfull) is an ordinary defined graph composition. At the retained characteristic configurations, the inherited theorem does not define it.