 Bayes’ Theorem (Finite Version). Suppose further that hypotheses \(H_1, \ldots, H_N\) are mutually exclusive and finite in number, and that each is assigned a nonzero credence and their disjunction is assigned credence 1 by \(\Cr\). Then we have: