Manuscript IX-E-3@1 · IX-E-3.tex · figure · 8c41417a
Three statuses stay separate
Front matter · lines 178–191
IX-E-3@1#fig:gate-IX-E-3
Named: Bridge proved, one class
→Used here: Bridge open
→Not claimed: Bridge obstructed
The three legal outcomes are not interchangeable.
Three statuses stay separate. The boxes name objects this manuscript keeps separate. The dashed box is the stated stop. Not a proof, and not an admission of a quantum coefficient.