an agent's credences ought to be coherent.
it should be the case that one's personal probabilities are a function that obeys the mathematical axioms of the probability calculus.
an agent's credences are representable by a function that obeys the mathematical axioms of the probability calculus.