For if Joshua had given them rest, He would not have spoken of another day after that.