وهو (¬١):- إن كان بالغاء الفارق (¬٢) فهو «تنقيح المناط» (¬٣) عند الغزالي (¬٤).- أو باستخراج الجامع من الأصل ثم تحقيقه في الفرع، فالأول «تخريج المناط» (¬٥)،