Decisions about whether industries or companies should be publicly or privately owned are for the governments of developing countries to make; but where they ask for our assistance we'll give it.