Chapter 6: Semantics