Hebrews 4:8

4:8 For if Joshua had given them rest, God ¹  would not have spoken afterward about another day.

[4:8]  ¹ tn Grk “he”; the referent (God) has been specified in the translation for clarity.