Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Gate A: degree-four descent
Gate A: degree-four descent · lines 947–953
No operation on an unproved “zero graph factor” is used. Linearity becomes sufficient only after the relevant actual presentation kernel has been evaluated as zero.