Update goal.tex