فالتعليل بهما بدون الشهادة حجة ويسمى عند البعض تعليلا لا قياسا وعند البعض هو قياس أيضا وإذا وجد شهادة الأصل بدون التأثير لا يكون حجة عندنا ويسمى غريبا أيضا اعلم أن التعليل بأولى الأربعة لا يكون إلا مع شهادة الأصل لما قلنا إنها أعم فيكون التعليل بكل منهما قياسا اتفاقا والتعليل بأخيري الأربعة إذا وجد مع شهادة الأصل يكون قياسا اتفاقا وإذا وجد بدون شهادة الأصل فعند البعض قياس وعند البعض لا ويسمى تعليلا لكنه مقبول اتفاقا وإنما الخلاف في تسميته قياسا وشهادة الأصل قد توجد بدون الأولين لأنها أعم من كل منهما مطلقا وقد توجد بدون أخيري الأربعة لأنها أعم من كل منهما من وجه فإذا وجدت بدون التأثير لا يقبل عندنا ويسمى غريبا أي يسمى الوصف الذي يوجد في صورة يوجد فيها نوع الحكم من غير تأثير غريبا فالغريب نوعان أحدهما مقبول وهو الوصف