Hebrews 4:8

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

Hebrews 7:15

7:15 And this is even clearer if another priest arises in the likeness of Melchizedek,

---

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