 Proposition 1.2. Assume that \({\mathcal{M}}\) is a compositional denotational interpretation such that \({\mathcal{O}}(e) = v\) implies \({\mathcal{M}}(e) = {\mathcal{M}}(v)\). The following two statements are equivalent: