1 problem

Soundness conjecture. Soundness is maintained if the cotensor is restricted to forming unions, via the morphisms $\blacktriangle_X$ and $\blacktriangledown_X$, and local minima, vi…