Closing the loophole of a negative externality absolutely would generate revenue that could be spent elsewhere. Carbon taxes are a perfect example.