Delete implementation.tex~