evaluation.tex checked in