 Secondly, if the existence of God is neither a logically necessary truth nor entailed by our background knowledge, and if the existence of God together with our background knowledge does not logically entail that no good that we know of justifies an omnipotent, omniscient, perfectly good being in permitting \(E_1\) and \(E_2\), then one can support (2) and (3) by appealing to the very plausible principle that the probability of \(r\) given \(q\) is equal to one if and only if \(q\) entails \(r\).