premise: The restriction on litigation, however, is unique, and it contains a proviso specifying what the restriction does not cover.
hypothesis: The litigation restriction will strictly be put into effect on January 1, 2001. 