The value of an auction lies not just in the revenue it generates, but in the efficiency of the allocation.