update proposal.md