Finish up this section of the book

It doesn't all work, but I'm more interested in the other method, anyway.