A valid second proof excludes certain cases from a general statement. What kind of issue is this?

Legal Inference, Interpretive Clarification, and Supporting Disciplines of Tafsir

• It necessarily means total abrogation of the ruling
• It is merely a new lexical sense of one word
• No other evidence can affect the original ruling
• Specification of generality and relating evidences