I agree that pricing the externalities is fairly counted, but the GP comment framing it as a subsidy is still dishonest: someone could easily read that Stat and decide that you can add the $N trillion from carbon tax revenue to the $5T in removed subsidy, and they'd end up overcounting by about $4.5T