 Fortunately, such a theory of higher-order probabilities is available (see Skyrms 1980; Gaifman 1988). The central principle of this theory is Miller’s principle. For a description of the models of the logic of extreme, higher-order probability, see the following supplementary document: