Any historical proposition admissible at time, or any admissible conditional from history to chance, or any admissible Boolean combination of propositions of these two kinds in short, any sort of admissible proposition we have considered is a disjunction of members of the historytheory partition for.