Final writeup in progress