Delete massive7.tex