Denotational semantics (through add)