What's the downfall of denotational semantics?