For if Jesus had given them rest, then would he not afterward have spoken of another day.
For if Joshua had given them rest, God would not have spoken later about another day.
Εἰ γὰρ αὐτοὺς Ἰησοῦς κατέπαυσεν, οὐκ ἂν περὶ ἄλλης ἐλάλει μετὰ ταῦτα ἡμέρας.
Ei gar aytoys Iēsoys katepaysen, oyk an peri allēs elalei meta tayta ēmeras.