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