 The existence of a negation operation ensures the truth of B3. In turn, the existence of an operation of disjunction is ensured if Modal Criterion and B3 are accepted—in particular under the view of facts as sets of worlds; in that case, union is a disjunction operation.