![[Denotational Semantics]]