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