Now if Joshua had succeeded in giving them this rest, God would not have spoken about another day of rest still to come.