worked on writeup of ws4