. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

ـــــــــــــــــــــــــــــ

فلو كان {حَتَّى} للتعليل يكون فائدة التقييد بالشرط: التنبيه على سخافة عقلهم، وكون دوام عداوتهم فعلا عبثا لا يترتب عليه الفرض، بخلاف ما إذا كان للغاية، فإنه يفيد حينئذ أن الغاية مستبعدة الوقوع، فلا تنقطع عداوتهم، فيكون تأكيدا لما يفيده قوله: {وَلَا يَزَالُونَ يُقَاتِلُونَكُمْ}.

وأما ما قيل: وجه الدلالة: أنه يدل على بُعد تحقق الرد، أو دوام المقاتلة، والتعليل لا يقتضي التحقق، بخلاف الانتهاء فإنه يشعر بالتحقق.

ففيه: أنه لا فرق بينهما في عدم اقتضاء التحقق، والإشعار به في نفسه، وعدمه بعدم اعتبار الشرط، على أن التقييد بالغاية الممتنع وقوعها - شائع: {حَتَّى يَلِجَ الْجَمَلُ فِي سَمِّ الْخِيَاطِ} (?).

نعم يمكن الحمل على الغاية لو أريد من المقاتلة: معناها الحقيقي، ويكون الشرط متعلقا بـ {لَا يَزَالُونَ}، فيفيد التقييد: أن تركهم المقاتلة في بعض الأوقات لعدم استطاعتهم (?)،

لكن المعنى لا يكون متداولا كما ترى.

وقوله: (وهو استبعاد إلخ): أي لا يكون لهم استطاعة، وبعد أن تكون لهم فرض كما تفرض المحالات بدلالة استعمال (إن) في مقام التحقق والعلم بعدم الشرط.