 (P1) Final probability  For any \(h,e_{1},e_{2},k \in \bL\) and any \(P \in \bP\), \(C_{P}(h,e_{1}\mid k) \gtreqless C_{P}(h, e_{2}\mid k)\) if and only if \(P(h\mid e_{1} \wedge k) \gtreqless P(h\mid e_{2} \wedge k).\) 