Intermezzo 7: The Final Syntax and Semantics