Аз-Зумар 39:73–75

And those who feared their Lord will be driven, gently, to Paradise in troops, until, when they reach it, and its gates are opened (wa-futihat: the wāw here indicates a circumstantial qualifier, implying qad, ‘already’) and its keepers will say to them, ‘Peace be to you! You are good! (tibtum, a circumstantial qualifier) So enter it to abide [therein]’ — [enter it] with the decree that you are to abide in it [forever] (the response to idhā, ‘when’, is implicit and is, in other words, dakhalūhā, ‘they enter it’). [The manner of] their being driven as well as the opening of the gates before their arrival is a way of honouring them; the driving of the disbelievers, however, and the opening of the gates only upon their arrival so that [all of] its heat is retained for them, is a means of humiliating them.

And they will say: (this is a supplement to the implicit [response] dakhalūhā, ‘they enter it’) ‘Praise be to God, Who has fulfilled His promise to us, of Paradise, and has made us inherit the land, the land of Paradise, that we may settle in Paradise wherever we wish’, for it is all [Paradise], and there is no spot that can be preferred to another. So how excellent is, Paradise [as], the reward of those who worked [hard]!

And you will see the angels encircling (hāffīna, a circumstantial qualifier) all round the Throne, from its every side, glorifying (yusabbihūn is a circumstantial qualifier referring to the person [of the participle] hāffīn) with praise of their Lord, continuously proclaiming [His] praise — in other words, saying subhāna’Llāhi wa-bi-hamdih, ‘Glory, and praise, be to God!’ — and judgement will be made between them, that is, between all creatures, with truth, in other words, [with] justice, so that believers enter Paradise while the disbelievers enter the Fire, and it will be said, ‘Praise be to God, the Lord of the Worlds!’ — the [final] establishing of both groups [in their respective abodes] is concluded with [this] angelic praise.