The PBO estimated it at $4.2 billion. I think you can change that assumption and assume 28% or 30%. If they put sensitivities in there, you'll get different numbers.
What I don't think anyone would disagree with is that it's billions of dollars that we could be using better if we got our act together and started to do a better job of bringing down the price of those drugs. We can do that collaboratively and we can start doing that really quickly.