 The existence of a negation operation ensures the truth of B1. In turn, the existence of an operation of negation is ensured if Modal Criterion and B1 are accepted—in particular under the view which takes facts to be sets of worlds; in that case, set-complementation is a negation operation.