almost final draft of writeup, FINALLY