Updated the writeup to be more complete