For if Jesus had given them rest
That is, Joshua; for Hosheah, Joshua, and Jesus, are one and the same name; or Jesus himself, as two of Stephens's copies read; and so Joshua is called Jesus by the Septuagint interpreters on ( Exodus 17:10 ) ( 24:13 ) and other places where he is mentioned; and also, by Josephus F8, and Philo
then would he not afterward have spoken of another day;
that is, God, in David's time, and by him, would not have so long after appointed another day of rest; meaning, not any particular day of the week, but the whole Gospel dispensation, in the times of the Messiah; wherefore the apostle concludes as follows.
F8 Antiqu. Jud. l. 4. c. 7. sect. 2. c. 8. sect. 46, 47, 48. & l. 5. c. 1. sect. 1. & passim.
F9 De Charitate, p. 698, 699, 700.