Add final version of writeup