Constructed complement minted at step 4b: the corpus states Witten’s stability conjecture as a live possibility but no paper asserts its negation, which is the logically needed competing answer (and the answer the null searches bear on).