the son of Joshua, the son of Eliezer, the son of Jorim, the son of Matthat, the son of Levi,

Our fathers in turn brought it in with Joshua when they dispossessed the nations that God drove out before our fathers. So it was until the days of David,

For if Joshua had given them rest, God would not have spoken of another day later on.