Some observations and updates

Did some formatting (still imperfect) and some updates to the text.