 for all \(A,B\in \mathbf{A}.\) The first axiom says that no agent should disbelieve the tautological proposition \(W\). The second says that every agent should maximally disbelieve the contradictory prosition. Intuitively, the final axiom says that a disjunction \(A \cup B\) should be disbelieved just in case both disjuncts are disbelieved. However, the meaning of the final axiom is not exhausted by this gloss (see Section 4.1 in Huber, 2020).