which also our fathers, in their turn, brought in with Joshua when they entered into the possession of the nations, whom God drove out before the face of our fathers, to the days of David,

For if Joshua had given them rest, he would not have spoken afterward of another day.