Update main_text.tex