Premise: Units that reduce their emissions below the number of allowances they hold may trade allowances with other units in the system, sell them to other sources or save them for future use.
Hypothesis: Units may not sell emissions to other sources. 
Label: contradiction