Chapter 4: Types, 4.1 - 4.3