stackoverflow newb here so forgive me if I\'ve committed some grave sin.
My textbook (Programming Language Pragmatics, Scott) asks the following question:
