Paper revision.
update

Merge branch 'master' of https://github.com/anwenyin/ooscombo

Conflicts:
	Tex/allproof.tex
	Tex/coverpage.tex
	Tex/introduction.tex
	Tex/literature.tex
	Tex/theory.tex