Manuscript XIV-E@1 · XIV-E.tex · section · e89fd2a5
Reference values on the canonical domain
The precise E1 stop › Reference values on the canonical domain · lines 1207–1213
The first unresolved step is therefore E1, within the inherited D2/J2 gate. It is not E2 on the premise that cancellation has failed: failure of complete cancellation has not been proved.