denotational semantics without input