The intended meaning becomes clear from what is mentioned in "al-Mughnī" (149), where it is stated: "The ninth is that it is used for exception and retraction, as in the saying: 'So-and-so will not enter Paradise due to his evil deeds, ʿalā that he does not despair of the mercy of Allāh, the Exalted,' and in the saying (150): 'By Allāh, I will not forget a slain one whom I mourned beside Qawsā as long as I remain on earth, ʿalā that wounds heal, and we are only entrusted with what is near, even if most of what passes is significant,' meaning: ʿalā that it is customary to forget distant calamities." And his saying (151): 'We tried every remedy, but what ails us was not cured, although proximity is better than distance.' Then he said: 'Although proximity is of no benefit if the one you love is not affectionate.' Then he said (152): 'He nullified with the first "although" the generality of his saying: "what ails us was not cured," and said: "although there is some cure in it," then nullified with the second his saying: "although proximity is better than distance." And this "although" is connected to what precedes it like "except" is connected to what precedes it according to those who say so, for it (154) conveyed its meaning to what follows it in the manner of objection and exclusion, or it is the predicate of an omitted subject, meaning: the truth is such. This view was chosen by Ibn al-Ḥājib (155), who said: 'And it indicates that the first sentence occurred without verification, then what is verified in it was brought forth.' The words of "al-Mughnī" have ended
ويظهر المُراد مما ذكره في المغني (١٤٩) حيث قال: (التاسع: أنْ تكون للاستدراك والإِضراب، كقولك: (فلانٌ لا يدخلُ الجنّة لسوءِ صنيعِهِ على أنّه لا ييأسُ من رحمة الله تعالى) ، وقوله (١٥٠) : فواللهِ لا أَنسى قتيلاً رُزِئتُهُ بجانبِ قَوْسَى ما بقيتُ على الأرضِ على أَنّها تعفو الكُلُومُ وإنّما نُوَكَّلُ بالأَدْنى وإنْ جلُّ ما يمضي أي: على أنّ العادة نسيان المصائب البعيدة العهد. وقوله (١٥١) : بكلِّ تداوَيْنا فلم يُشْفَ ما بنا على أنّ قُرْبَ الدارِ خَيْرٌ من البُعْدِ ثمّ قال: على أنّ قُرْبَ الدار ليسَ بنافعٍ إذا كانَ مَنْ تهواهُ ليسَ بذي وُدِّ ثمّ قال (١٥٢) : أبطل ب (على) الأولى عمومَ قوله: (لم يشف ما بنا) فقالَ: على (١٥٣) أنّ فيه شفاءً ما، ثم أبطلَ بالثانية قوله: (على أنّ قربَ الدار خيرٌ من البعد) . وتعلّق (على) هذه بما قبلها كتعلّق (حاشا) بما قبلها عندَ مَنْ قالَ به، فإنّها (١٥٤) أوصلت معناه إلى ما بعدها على وجه الإِضراب والإِخراج، أو هي خبرٌ لمبتدأ محذوف، أي: والتحقيقُ على كذا. وهذا الوجه اختاره ابن الحاجب (١٥٥) ، قالَ: ودلَّ على ذلك أنّ الجملة الأولى وقعت على غير التحقيق ثمّ جيء بما هو التحقيق فيها) . انتهى كلام المغني.