Added more to the writeup.