Matthew Poole and continuators on Hebrews 4:8

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

This is the Improvement of the former instance, v. 7. If Ioshua by bringing Israel into Canaan, had given rest to all Believers, then God would not by David have spoken of another Day and State of Rest to come. Ioshua was, Acts 7.45. a Type of Jesus bringing Believers into the true Rest of the heavenly Canaan, as he did Israel into a literal one. If that of Canaan was the full, and perfect Rest of Believers, which was given them by him.

Then God himself would not have spoke by David of a better and heavenly Rest promised Believers in the Gospel; of which spiritual and eternal one, both God's seventh-day Sabbath, and the Rest of Canaan were but fainter Shadows & Types. The Expostulation is vehemently denying it.

Marginal references: That is, Io [illegible: 4 letters].