Yes, and GDP per capita with them went up. And removing a source of GDP that has been shrinking might make GDP growth look even higher. What does it tell us? Anything?