Inefficiency of strategy-proof allocation mechanisms in pure exchange economies · Study