Some work on the writeup