And that's something which happens thousands of times per day all over the world in different businesses and in almost all human endeavour. We're constantly getting more and more utility out of the material and energy we use. So growth is both using more resources, as well as using them in better ways.