Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
Sign diagnostic
E3: the ledger, printed before addition › Sign diagnostic · lines 836–844
The structural form of the same diagnostic is XII-D's: at , , the -image of the X-A slot change , whereas is the -image of a slot change no element of produces. The witness value is cited from XI-E, not recomputed.