premise: The restriction on litigation, however, is unique, and it contains a proviso specifying what the restriction does not cover.
hypothesis: The litigation restriction has a provision stating what is not covered by the restriction. 