Hebrews 4:8
For if Jesus had given them rest, then would he not afterward have spoken of another day.
Cross-reference
Hebrews 11:13-15 describes patriarchs seeking a heavenly country — the same greater rest that Joshua's conquest could not provide.
Deuteronomy 12:9 says Israel had not yet entered the rest — the very rest that Joshua's leadership did not fully achieve, per Hebrews.
Joshua 1:15 promises rest in the land — the typological rest that Hebrews contrasts with the true sabbath rest for God's people.
Psalm 78:55 describes God settling the tribes in the land — the historical rest that Hebrews says Joshua's conquest did not permanently fulfill.
Psalm 105:44 recounts God giving Israel the nations' lands — the same conquest rest that Hebrews argues was not the ultimate rest.
Exodus 33:14 records God's promise of rest to Moses — the very promise that Joshua's conquest only partially fulfilled.
Deuteronomy 3:28 commissions Joshua to lead Israel into the land — the very event Hebrews uses to show the rest was not final.
Deuteronomy 31:3 confirms Joshua will lead the conquest — the historical rest that Hebrews contrasts with the later Sabbath rest.
Joshua 11:23 says the land had rest from war after Joshua's conquest — the very rest Hebrews says was not the ultimate one.
Joshua 22:4 declares God gave rest to the eastern tribes — a partial rest that prefigures the complete rest Hebrews points to.
Joshua 23:1 states God gave rest from enemies — a temporal rest that serves as a type of the eternal rest in Hebrews.
Acts 7:45 recounts Joshua bringing the tabernacle into Canaan — the same Joshua who, Hebrews says, could not give the final rest.