Manuscript X-F@1 · X-F.tex · corollary · f35cc129
Corollary: X-E's defect is a truncation defect
F4: the background identity through κ 2 · lines 1263–1271
X-F@1#cor:truncation
X-E's one-tree observable in the flat gauge is (eq:all-tree) without and . Its defect is the negative of the variation of the omitted mixed tree, modulo . The defect is independent of because vanishes identically at while its first variation does not.