The C1 Series
C1:  R is a system of rules derivable from logic(and probability         theory)
C1*:  R is a system of rules that would be chosen by someone who believes all the truths about logic (and probability theory), but is ignorant of all contingent facts.