I don't think we disagree on this point. Externalities are both "a [pricing] distortion" and also "the primary driver of the environmental cost." The former is

I don't think we disagree on this point. Externalities are both "a [pricing] distortion" and also "the primary driver of the environmental cost." The former is what allows the latter problem to persist, despite the efficient market hypothesis.