Premise: The definition of covered year establishes when the new WRAP trading program will begin.

Hypothesis: The definition of covered year doesn't establish when the new WRAP trading program will begin.
Relation: contradiction