edits
Merge branch 'master' of https://github.com/satopaa/extremization_paper

Conflicts:
	ExtremizingPaper.log
	ExtremizingPaper.pdf
	ExtremizingPaper.synctex.gz
	ExtremizingPaper.tex
Deleting files that should be ignored.
Deleting files that should be ignored.