Syntax and Semantics I.