edits to Sec 3,4