Final version of Writeup