Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d
Proposition
Countermodels to cone selection › A degenerate through-source slice condition · lines 871–883 · proof included or linked
En08-A@1#prop:sliceball
If an antichain contains , every directed path starting at meets only at . Thus requiring such a path to meet within distance of does not distinguish one-step targets from later reachable targets.
Proof. Every subsequent path vertex is strictly above , so cannot belong to the antichain. The initial meeting has distance zero.