It's about 4.5% annualized increase over the 20 years (being almost flat in the second half). Yes, slightly higher than inflation (around 2.5% or so annualized), but I mean come on, it's not that large. As I pointed out, it's been decreasing as a % of GDP which is a more relevant metric.