Same-orientation products

For example, the ordinary sufficient criterion fails for $W_{\beta }\overline{W_{\beta }}$ at an elliptic geometric null covector: the two factors have opposite covectors there. That criterion failure is not a universal nonexistence theorem for every renormalized prescription.

The examples in VII-H and the declared polynomial domains in XI-E are methodological comparisons CheungVIIH,CheungXIE. Their observables and products are not identified with the present conical bundle kernels.