Updating the writeup.