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