And whoever desires the Hereafter and strives for it with the necessary effort that is he performs the deeds worthy of it being a believer wa-huwa mu’minun is a circumstantial qualifier — for such their effort will find favour with God that is their effort will be accepted and rewarded.
- 17:1919
وَمَنْ أَرَادَ الْآخِرَةَ وَسَعَىٰ لَهَا سَعْيَهَا وَهُوَ مُؤْمِنٌ فَأُولَٰئِكَ كَانَ سَعْيُهُمْ مَشْكُورًا
And whoever desires the Hereafter and strives for it accordingly, and is a believer – so only their effort has borne fruit.
- common.revelation-Meccan
- common.hizb : 113