Premise: 1 The existing program establishes a cap on SO2 emissions to ensure that the environmental goal is met, and employs an innovative market-based allowance trading program to achieve the goal at lowest cost.

Hypothesis: There is no cap on SO2.
Relation: contradiction