altera o abtract.tex, infrastructure.tex, and introduction.tex