First version of main.tex finished