. . . "Derived energy products include electricity, petroleum products such as petrol and diesel, and coke (Bush et al. 1999)." . .