Premise: This Subpart establishes a back-stop trading program that will go into effect if the States in the WRAP (i.e.

Hypothesis: This Subpart did not establish a back-stop trading program 
Relation: contradiction