For if Joshua had caused them to rest, he would not have spoken about another day after these things.