Yep. Spectrum should be allocated based on Harberger taxation (sometimes called self-assesed tax)