Update docs/proposal.tex