Preliminary work on answering Exercise 1.14 (just some related code).