أنوار التنزيل وأسرار التأويل للبيضاوي - البيضاوي  
{خَٰلِدِينَ فِيهَاۖ وَعۡدَ ٱللَّهِ حَقّٗاۚ وَهُوَ ٱلۡعَزِيزُ ٱلۡحَكِيمُ} (9)

{ خالدين فيها } حال من الضمير في { لهم } أو من { جنات النعيم } والعامل ما تعلق به اللام . { وعد الله حقا } مصدران مؤكدان الأول لنفسه والثاني لغيره لأن قوله { لهم جنات } وعد وليس كل وعد حقا . { وهو العزيز } . الذي لا يغلبه شيء فيمنعه عن إنجاز وعده ووعيده الحكيم الذي لا يفعل إلا ما تستدعيه حكمته .