There is a lot of speculation, I guess, on the potential growth of the renminbi as a reserve currency. There are other reserve currencies around the world other than U.S. dollars. I think you're more likely to see it used as a reserve currency in an environment where the capital account has been liberalized and, as we talked about earlier, that hasn't happened.
But as I say, it's a world where we already have the U.S. dollar as the major reserve currency, but there are already a range of other currencies that are being used as reserve currencies, and that's really been the case for many years.