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