We find a limited parallel between lump-sum taxes and environmental taxes. Corollary 2, which extends Sandmo's observation, shows that appropriated corrective revenues have the same non-distortionary effects as lump-sum taxes, the result reducing to the original observation when the appropriated...