more text at the end of 3.1, and some misc notation cleanup
misc notation changes, comment in 3.3