Update tp/tp.tex