Hebrews 4.8

8. For if Joshua had given them rest, he would not have said anything about another day.