"These credits are a blunt instrument for sharing carbon-pricing revenue." . . . .