Wow, this needs quite a bit more work still. I've made it to the first paragraph of 4.1. Lots of comments for you folks to deal with in the material before that.