Fix underfull hbox
Improve the appendix about inference permutation
Add iCERes paper to bibliography
Remove useless newcommands
Improve the proof of the correspondence lemma
Write conclusion
Include appendixes
Make several cosmetic improvements
Merge branch 'develop' of https://github.com/Paradoxika/Papers into develop

* 'develop' of https://github.com/Paradoxika/Papers:
  Change experiments raw data file URL
Fix typo in URL