Add goals.tex