 ‘\(C\)’ denotes the ‘ur’ credence function of an agent at the beginning of enquiry. This is an idealization that ensures that the agent does not have any “inadmissible” evidence that bears on \(A\) without bearing on the chance of \(A\). For example, a rational agent who somehow knows that a particular coin toss lands heads is surely not required to assign