Update proposal.rst