https://www.technotification.com/2023/04/unlocking-the-magic-of-denotational-semantics.html