Update Theory_draft.tex