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

For he has spoken somewhere about the seventh day in this way: “And God rested on the seventh day from all his works,”

For the one who enters God’s rest has also rested from his works, just as God did from his own works.