Update proposition.tex