For if Jesus had given them rest, then would he not afterward have spoken of another day.
Berean Study Bible (BSB) - Hebrews 4:8 >For if Joshua had given them rest, God would not have spoken later about another day.
Textus Receptus (TR) - Hebrews 4:8 >Εἰ γὰρ αὐτοὺς Ἰησοῦς κατέπαυσεν, οὐκ ἂν περὶ ἄλλης ἐλάλει μετὰ ταῦτα ἡμέρας.