Hebrews 4:8 NIrV

[8] Suppose Joshua had given them rest. If he had, God would not have spoken later about another day.