الدر المصون في علم الكتاب المكنون للسمين الحلبي - السمين الحلبي  
{جَنَّـٰتُ عَدۡنٖ تَجۡرِي مِن تَحۡتِهَا ٱلۡأَنۡهَٰرُ خَٰلِدِينَ فِيهَاۚ وَذَٰلِكَ جَزَآءُ مَن تَزَكَّىٰ} (76)

[ قوله : { جَنَّاتُ } : بدلٌ من " الدرجات " أو بيانٌ ] . قال أبو البقاء : " ولا يجوزُ أن يكونَ التقديرُ : هي جناتُ ؛ لأن " خالدين " حالٌ . وعلى هذا التقديرِ لا يكونُ في الكلام ما يعملُ في الثاني ، وعلى الأولِ يكونُ العاملُ في الحال الاستقرارَ أو معنى الإِشارة " .