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