Manuscript XII-E@1 · XII-E.tex · section · 9471ea56

Sign diagnostic

E3: the ledger, printed before addition › Sign diagnostic · lines 836–844

Back to manuscript

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.

Nearby in this section