 Propositions can be negated, conjoined and disjoined to other propositions. As we previously saw, there is an issue as to whether the same holds of facts. In this section we introduce the Boolean operations on facts, and point to the four main views as to which of these operations actually exist.