Manuscript X-B-ST@1 · X-B-ST.tex · section · d03c150c
Why the same tools do not supply a family
C2: the one-contraction boundary › Why the same tools do not supply a family · lines 1935–1942
This is the scope boundary of X-B-ii, read as a
non-extension statement for the sheet's tools
XBii (:nonextension), not as a new
universal no-go theorem.