8 For if Joshua had given them rest, then He would not afterwards have spoken of another day.