A well-known theorem by Herfindahl states that the low-cost nonrenewable resource must be exploited first. Consider resources that are differentiated only by their pollution content. For instance, both coal and natural gas are used to generate electricity, yet coal is more polluting. We show...