denotational