 Suppose that \(\mathbf{A}\) is also closed under countable intersections (and is thus a \(\sigma\)-field). Suppose Pr additionally satisfies, for all propositions \(A_{1}, \ldots A_{n}, \ldots\) in \(\mathbf{A}\),