For he has said this somewhere about the seventh day, “God rested on the seventh day from all his works;” and in this place again, “They will not enter into my rest.”
Seeing therefore it remains that some should enter into it,
and they to whom the good news was preached before failed to enter in because of disobedience,
he again defines a certain day, today, saying through David so long a time afterward (just as has been said),
“Today if you will hear his voice, don’t harden your hearts.”
For if Joshua had given them rest, he would not have spoken afterward of another day.
There remains therefore a Sabbath rest for the people of God. For he who has entered into his rest has himself also rested from his works, as God did from his.