Rename MyAssume.latex to MyAssume.tex