The conjecture that non-SAGE certificates fail beyond the corollary's hypotheses
Non-SAGE separation conjecture. If every ai\bm{a}_iai lies in either extP(A)\operatorname{ext}\mathcal{P}(\bm{A})extP(A) or intP(A)\operatorname{int}\mathcal{P}(\bm{A})intP(A), but A\bm{A}A does not satisfy…