Equivalence to Denotational Semantics (protected)