Proof: Proof of Theorem thm:main

Proof. Inhabitation is Theorem thm:inhabitation. For an arbitrary model of the five requirements, Theorem thm:fine-anchor gives diagonal anchoring, Theorem thm:born gives Born probabilities, and Theorem thm:update gives every positive-branch residual ray. These are precisely the data of the strategy.