for if Joshua had given them rest, He would not concerning another day have spoken after these things;