Incidentally, auctions of time bounded licenses, which are what we use to allocate frequency spectrum, have the same theoretical pareto efficiency as a value tax.