You don't want to tax pollution and other negative externalities to raise revenue though.