Definition 1.2.7.  Let b ∈ Bool. We define:
¬b := [b is false]