Hebrews 4:8 in the World English Bible
For if Joshua had given them rest, he would not have spoken afterward of another day.
Context
7 Again, he limiteth a certain day, saying in David, To day, after so long a time; as it is said, To day if ye will hear his voice, harden not your hearts.
8 For if Jesus had given them rest, then would he not afterward have spoken of another day.
9 There remaineth therefore a rest to the people of God.