(Not that I’d expect the current administration to use any such tax revenues in such a way as to mitigate the externalities of this particular industry.)