Editing Validation Pool (section)

=== Redistribution: binding vs. non-binding ===
The newly minted tokens on the losing side are distributed to the winning side proportionally. I.e., if upvotes win, each expert voter <math>e_j</math> with <math>v_j>0</math> receives <math display="inline">\frac{R_j}{R_U} mf(1-c_2)</math> of the new tokens. If downvotes win, each voter <math>e_j</math> with <math>v_j<0</math> receives <math display="inline">\frac{R_j}{R_U} mfc_2</math> of the new tokens. In that case, those tokens were taken from the poster whose post was invalidated. This proportional arithmetic ensures that someone who risks twice as many REP tokens on an assertion earns twice as much reward if they win. 

A VPSC can be binding or non-binding. If an instantiation of the VPSC is binding, that means the REP tokens of all those who voted against the winning side will lose the tokens they encumbered to those who won, proportionally. E.g., if the post is validated, then all the REP used to downvote <math display="inline">R_D </math> is redistributed to those who upvoted, meaning each voter <math>e_j</math> with <math>v_j>0</math> receives <math display="inline">\frac{R_j}{R_U} R_D</math> new tokens.

Further, a VPSC can be <math>p</math>-binding for any <math>0 \leq p \leq 1</math>. A <math>p</math>-binding VPSC redistributes the fraction <math>p</math> of the losers' tokens to the winners.