Updated the writeup