8For if Joshua had given them rest, God would not have spoken later about another day.
9There remains, then, a Sabbath rest for the people of God.
— Hebrews 4:8-9