Hebrews 4:8

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

For if Joshua had given them rest, God would not have spoken later about another day.

For if Joshua had given them rest, He would not have spoken of another day after that.

This new place of rest was not the land of Canaan, where Joshua led them. If it had been, God would not have spoken later about another day of rest.

And so this is still a live promise. It wasn't canceled at the time of Joshua; otherwise, God wouldn't keep renewing the appointment for "today."

For if Joshua had given them rest, he would not have said anything about another day.

For if Joshua had given them rest, God would not speak later about another day.

For if Joshua had given them rest, then He would not afterward have spoken of another day.

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.