The additional admission and root-cone premises

The corollary is conditional on both sets of stated hypotheses, including the matching frozen data. It is not a new evaluation of the frozen witness, and does not extend the obstruction to other data.

The former blanket statement “no admission is claimed” is therefore replaced by the narrow classical conclusion above. The new insertion is admitted under the supplied XII-D premise; the different frozen class remains excluded XIID,XIG.