The thing I find most interesting in the "less mining, more education" chart is that 1800-2025 most things decline relative to "Leisure and Culture" and that in their project "Education, health and public services" grows at the expense of everything except for "Other", including "Leisure and Culture"