Update HiMCM.tex