Another example pasted-out from an incomplete example in the book.