semantics from chapter 2