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