made more minor edits to the writeup, from prop. 1.15 until the end of sec. 1