Tafsir of Surah Al-Israa 17:19
﴿وَمَنْ أَرَادَ الْآخِرَةَ وَسَعَىٰ لَهَا سَعْيَهَا وَهُوَ مُؤْمِنٌ فَأُولَٰئِكَ كَانَ سَعْيُهُم مَّشْكُورًا﴾
Translation of the meaning
But whoever desires the Hereafter and exerts the effort due to it while he is a believer - it is those whose effort is ever appreciated [by Allāh].
English Translation - Noor International Center — v1.1.2 · QuranEnc.comThe words of the two imams are given in their original Arabic, verbatim, with references.
Shaykh al-Islam Ibn Taymiyyah
فألزم الاسم العمل والعمل الاسم. والمقصود هنا أنه لم يثبت المدح إلا على إيمان معه العمل لا على إيمان خال عن عمل«مجموع الفتاوى» 7/181Imam Ibn al-Qayyim
فأخبر أن السعي المشكور: سعي من أراد الآخرة.«مدارج السالكين بين منازل إياك نعبد وإياك نستعين» 2/81