finish selectifying syntax-and-semantics chapter