Update gianni.tex