-More edits to the writeup