Manuscript XX-E@1 · XX-E.tex · remark · cf7a8f40
Remark: No cancellation by definition
Target, numbering, and the missing application data › The exact absent successor package · lines 254–259
Defining a candidate correction to be the negative of a formal defect does not establish that it belongs to the allowed counterterm space. Membership in the actual image of the constructed counterterm map must be proved.