https://fullsteamahead365.com/2019/09/09/sn-computer-science-an-experiment-with-denotational-semantics/