I consider abstract social systems where the distribution of wealth is an object of common concern. I study, in particular, the systems where liberal distributive social contracts consist of the Pareto-efficient distributions that are unanimously preferred to the initial distribution. I define a...