. "This makes some sense ??? a relatively small fraction of total petroleum use goes to industrial feedstocks, and fuels such as coal and natural gas are already the major generators of electricity." . . . .