Hebrews 4:8

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

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