7 Formal syntax and semantics