Some edits, questions, and small additions