Update 00_abstract.tex