7.2. [In Progress] Semantics