Manuscript XI-G@1 · XI-G.tex · figure · f029bbcd
A class exclusion is not undone by a new source
Front matter · lines 205–216
XI-G@1#fig:split-XI-G
Detecting data
A later admitted insertion
Changed-source admission does not put the old class back into the algebra.
A class exclusion is not undone by a new source. The boxes name objects this manuscript keeps separate. The dashed box is the stated stop. Not a proof, and not an admission of a quantum coefficient.