8.2 Basic Concepts
8.2.1 Variables and Regions
8.2.2 True and False
8.2.3 External Representations
8.2.4 Disjointness of Types