“…Taking an asymptotic point of view, Roberts and Postlewaite [22] showed that the Walrasian mechanism becomes asymptotically incentive compatible; but they did not show the uniqueness of the Walrasian mechanism. For continuum economies, Hammond [10], Kleinberg [15], Champsaur and Laroque [2], McLennan [20], Mas-Colell [19], Nehring [21], and others have shown that the only efficient no-envyÂincentive-compatible allocations are Walrasian without transfers. Note, no-envy and incentive-compatible allocations are intimately related; see Section 6.…”