تكليف مع الإلجاء و الغرض من هذا الكلام دفع ما يمكن أن يقال إنّ فعل الضد و إن لم يكن علة للترك عندوجود الصارف لكنه علة له عند عدمه فتحريم الترك حينئذ يستدعي تحريم فعل الضد و هو مراد المستدل‌و أنت خبير بأن هذا التفريع إنما يتم لو لم يكن لرفع الضد مدخل في تحقق المأمور به و أما على تقديرالمدخلية كما مر فلا إذ عند انتفاء الصارف لم يتحقق علته التامة فلا يكون فعل الضد على سبيل الإلجاءقوله بتقدير أن يراد اشتراكهما(١)أي ترك المأمور به و فعل الضدقوله لظهور أن الصارف الذي‌هو العلة في الترك ليس علة لفعل الضد

د [٢]لأن الصارف يعني عدم الداعي إلى المأمور به إنما يكون علة لفعل‌ضده لو كان الداعي إليه علة لترك الضد و ليس كذلك لأن علة ترك الضد هي عدم علة وجوده‌قوله نعم‌ [٣]ليس من تتمة الجواب بل هو تصديق لما يمكن أن يقال في هذا المقام من أن الصارف إذا كان علة للترك‌كان حراما و هو مما يتوقف عليه الضد الذي ليس بحرام فهل يجوز ذلك فأجاب بأنه يجوز إذا لم يكن‌إيجاب الضد مستلزما لإيجاب مقدمته إذ لو استلزم لزم اجتماع الوجوب و التحريم في أمر واحد شخصي‌و هو باطل قوله من جملة ممّا يتوقف عليه فعل الضد [٤]أما إرادة الضد فلأنها جزء من أجزاء الداعي إليه‌و أما الصارف عن المأمور به فلأنه لولاه لكان صدور فعل الضد على سبيل الاختيار ممتنعا و فيه بحث لأنّ الصارف‌عن المأمور به إذا كان ممّا يتوقف عليه فعل الضد كان انتفاؤه يعني وجود الداعي للمأمور به مما يتوقف عليه ترك الضد ضرورة أن توقف الوجود على الوجود يستلزم توقف العدم‌على العدم و الحكم في الصارف عن فعل الضد و في انتفائه أعني وجود الداعي إليه بالنسبة إلى فعل المأموربه و إلى تركه كذلك لأن الضدين حكمهما في ذلك على السواء فإذن الداعي لفعل الضدّ ممّا يتوقف عليه ترك‌المأمور به فالحكم بأن العلّة لترك المأمور به هي الصارف عن فعله لا يخلو من إشكال فليتأمّل‌قوله فإذا كان‌واجبا كانا [٥]ضمير المفرد يعود إلى الضد و التثنية إلى الصارف و إرادة الضدّقوله سابقا [٦]يعني في‌باب مقدمة الواجب‌قوله عدم وجوب غير السبب‌ [٧]المراد بالسبب السبب التام كما مرت إليه الإشارةفلا يرد أن الإرادة جزء من أجزاء سبب فعل الضد لأنّ جزء السبب سبب ناقص‌قوله فلا حكم فيهما [٨]أي فلايتصفان بالوجوب بواسطة كونهما مقدمة لفعل الضد و فيه أن إيجاب الضد مستلزم لإيجاب علته كمااعترف به المصنف و إرادة الضد جزء من أجزائها فهي واجبة ضرورة أن إيجاب الكل لا يتصور بدون إيجاب أجزائه‌