Minor edits, introduction