Obviously it's a very capital-intensive industry. We're talking about billions of dollars being invested. That money comes from a variety of sources. Roughly half of the ownership in the oil and gas sector is foreign. The other half is domestic. It comes from different sources. As you say, pension plans are one of those sources. Equity markets, private wealth, there are lots of different potential sources.
In terms of foreign investment, the U.S. is the largest source, but we have seen growing investment coming from Asia as well.