Chapter 4, Metalinguistic Abstraction

Exercise 4.38


5