Update eval.tex