4.1 Syntax, Terminology and Informal Semantics