Progress on Section 5

also, minor changes to other parts of document