working on Jun's revisions to the writeup