paper: Design Overview section completed; fragments from Implementation section completed