Added some stuff to the writeup.