Yes, the total dollar value would be lower.
In our sensitivity analysis, we used P.E.I. as an example of a different formulary since we could already map it in our data. You can see there that the nominal value does decrease, but the savings are still roughly around $4 billion.