Operational Reasoning and Denotational Semantics. AIM-264