-Yet more edits to the writeup