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