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