Chapter 4, Metalinguistic Abstraction

Exercise 4.79


:)