added checkpoint.tex