Hebrews 4:8

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

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

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

for if Joshua had given them rest, He would not concerning another day have spoken after these things;

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