Experimenting with Exercise 5.3