Credits are supposed to be "additional", i.e. the emission reduction wouldn't occur without the credit sale. Yet developers ...