Hebrews 4:8-9

4:8 For if Joshua had given them rest, God would not have spoken afterward about another day. 4:9 Consequently a Sabbath rest remains for the people of God.

tn Grk “he”; the referent (God) has been specified in the translation for clarity.