Registry · Proposition IV.P263 framework not_formalized IV.P263 — ι-Dominance Consequences _--dominance implies: (1) confinement via compact _- support (Chapter ch:iv-confinement-admissibility); (2)... Book IV Part 4 Ch. 29