7.2.1 Truth and falsehood 7.2.2 Bottom and meta-equality 7.2.3 If-then-else 7.2.4 Boolean connectives 7.2.5 Relations