complete rewrite of section on the language and semantics