In these verses, the writer moves forward in time from the wilderness generation to the time of David, somewhere around 400 years. The OT quotation here is from Psalm 95, in which David referenced what was spoken to the wilderness generation, demonstrating the continuing validity of the principle set forth there. This principle is that the voice of God speaks of a promise of entering His rest, and this rest is spoken of by David as timeless. We see this in the use of “today” here, for in one sense it is always today- in the wilderness generation, in David’s generation and in the New Covenant generation. What also remains is that this rest is entered by trusting fully in what God has said, this principle also valid “today”. What also remains is that unbelief is that which prevents this rest being entered, referenced here as a hardening of the heart. The writer then, in verse 8, tells us that the type of rest refenced in the New Covenant is the rest of entering the land of rest, not of a day off from work. We are then told that this rest of entering a land of rest serves as a type or shadow of the reality of ultimate rest provided only in Christ. We find, in verse 8, that Joshua has not in fact given them rest, that the land of rest was simply a shadow of the rest spoken of later by David as future. This land of rest in the time of Joshua is often seen as a type of heaven, but it must be noted that they faced many enemies in this land, and we will have no enemies in heaven. This rest is a rest in the presence of enemies, which is one way it equates to the rest provided by Christ in the New Covenant, a new “land” of rest, a dwelling place in which to find and enter the rest of God in the presence of enemies, a rest not of the body, but of the soul, which Jesus promises in Mattthew 11:28-29. The following verses will then demonstrate more fully just what this rest consists of, a dwelling place of rest for the soul, of which no enemy can deprive us.