وَيَقولونَ سُبحانَ رَبِّنا إِن كانَ وَعدُ رَبِّنا لَمَفعولًا

And they exclaim, “Praise be to our Lord! The promise of our Lord has been fulfilled.”