added Ronen edits to writeup