 However, the development of the programme of inductive logic revealed that many generalizations are possible. For example, Johnson proposed to assume an axiom he called the “sufficientness postulate”. This states that outcomes can be of a number of different types, and that the conditional probability that the next outcome is of type i depends only on the number of previous trials and the number of previous outcomes of type i (Johnson 1932). Assuming the sufficientness postulate for three or more types gives rise to a general predictive distribution corresponding to Carnap’s “continuum of inductive methods” (Carnap 1952). This predictive distribution takes the form: