Hebrews 4:8

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

Hebrews 6:3

6:3 And this is what we intend to do, if God permits.

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.

tn Grk “and we will do this.”