Began rewriting exposition sections for clarity