More work on the write-up