Hence any member of the history theory partition for time either implies or contradicts is therefore a disjunction of conjunctions of admissible historical propositions and admissible history to chance conditionals.