is a disjunction of propositions each specifying a sequence of outcomes with frequency of heads; each disjunct has the same chance at time under our assumptions of independence and uniformity; and the disjuncts are incompatible.