We study social decision schemes (SDSs), i.e., functions that map a collection of individual preferences over alternatives to a lottery over the alternatives. Depending on how preferences over alternatives are extended to preferences over lotteries, there are varying degrees of efficiency and strategyproofness. In this paper, we consider four such preference extensions: stochastic dominance (SD...