Intermezzo 1: Syntax and Semantics