Proposal rewrite