Example. Lecture 1 › Syntax and semantics of prop1 › prop1 example [006c] February 11, 2026 Example content...