Begin is described in the abstract syntax, but there is no semantic function for it. Later, on page 35, the semantics of begin is given under the derived expression types heading. Should begin be described in the abstract syntax section? John