 In other words, deductive cogency means that there is a single, non-empty proposition, \(\cap \Bel\), which is the logically strongest proposition that the agent believes, entailing all her other beliefs.