first commit from mac before leaving to china, initial edit to FRI chapter

still missing BFRI results and minor insertions required.