Definition 1.2.8.  Let a, b ∈ Bool. We define:
a ∧ b := [a is true and b is true]