[math-fun] quadratic voting