Tafsir al-Jalalayn — 25:16

﴿لَهُمْ فِيها ما يَشاءُونَ خالِدِينَ﴾ حال لازِمَة ﴿كانَ﴾ وعْدهمْ ما ذُكِرَ ﴿عَلى رَبّك وعْدًا مَسْئُولًا﴾ يَسْأَلهُ مَن وُعِدَ بِهِ ﴿رَبّنا وآتِنا ما وعَدْتنا عَلى رُسُلك﴾ أوْ تَسْأَلهُ لَهُمْ المَلائِكَة ﴿رَبّنا وأَدْخِلْهُمْ جَنّات عَدْن الَّتِي وعَدْتهمْ﴾