 They require that the national public radio people buy from them certain things. So it's somewhere between 20% and 30% of the money. And, of course, how much they get because it's government-funded from other people or from corporations, it's evidently a very significant part of what they do. But the idea that if they didn't have the government money, no one would –