More work on the writeup.