Create massive7.tex