Update PROPOSAL.md