“For if Iesus had giuen them rest, then would he not afterward haue spoken of another day.”
1611 King James Version (KJV)
4:8 The rest - All the rest which God had promised.
Heb 4:8 For if Jesus. "Joshua" in the Revised Version. "Jesus" is the Greek form of the Hebrew word "Joshua". Had given them rest. Joshua led Israel over the Jordan into Canaan, but that did not give them complete rest. Then would he not afterward have spoken of another day. If that had been true, David would not have exhorted them to seek to enter into rest. Five hundred years after they entered Canaan this exhortation is given in Ps 95:7-11.