denotational

Karma: 754