Chapter2: content.
AppendixA: more accurate values.
AppC: separate section for each proof
Chapter2: mostly done.
Figures/: plot different things.
main.tex: introduce \refsec and \reffig