SP18: DENOTATIONAL SEMANTICS: 34092