NET
8 For if Joshua had given them rest, God would not have spoken afterward about another day.
Darby
8 For if Jesus had brought them into rest, he would not have spoken afterwards about another day.
KJV
8 For if Jesus had given them rest, then would he not afterward have spoken of another day.