Delete 7.1.tex~