充足選択:与えた論理式が真となるモデルを選択し、現実をその解釈に一致させる能力。出来事を直接改変するのではなく、条件を満たす世界を採用することで結果を成立させる。 コンパクト・トリガー:任意の有限条件が満たされる状況を積み重ねることで、無限の条件すら同時に成立するモデルを引き出す能力。局所的な可能性の連続から、全体として不可能に見える状態を無矛盾に実現する。