Sen's classic social choice result supposedly demonstrates a conflict between Pareto and minimal forms of liberalism. By providing the first direct mathematical proof of this seminal result, we ...