Proposer done

Not tested