Update ms1.tex