 The theory of social choice with utility functions has greatly systematized our understanding of social welfare functions. For instance, it has shown how to construct a continuum of intermediate social welfare functions between sum-utilitarianism and the maximin criterion (or its lexicographic refinement, the leximin criterion, which ranks distributions of well-being by examining first the worst-off position, then the position which is just above the worst-off, and so on; for instance, the maximin is indifferent between the three distributions (1,2,5), (1,3,5) and (1,3,6), whereas the leximin ranks them in increasing order). Three other developments around utilitarian social welfare functions are worth mentioning.