Final version of writeup.