A decision scheme (Gibbard, 1977) maps profiles of strict preferences over a set of social alternatives to lotteries over the social alternatives. A decision scheme is weakly strategy-proof if it is never possible for a voter to increase expected utility (for some vNM utility function consistent...