Super Simple Introduction to the Denotational Semantics of Programs