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