Initial version of main.tex