Reading material

Pages 141-149.

Additional material

Static semantics (page 148-149)