Update semi_main.tex