Jamieson, Fausset and Brown on Hebrews 4:11

11. Let us ... therefore--Seeing such a promise is before us, which we may, like them, fall short of through unbelief.

labour--Greek, "strive diligently."

that rest--which is still future and so glorious. Or, in Alford's translation of He 4:10, "That rest into which Christ has entered before" (He 4:14; He 6:20).

fall--with the soul, not merely the body, as the rebel Israelites fell (He 3:17).

after the same example--Alford translates, "fall into the same example." The less prominent place of the "fall" in the Greek favors this. The sense is, "lest any fall into such disobedience (so the Greek for 'unbelief' means) as they gave a sample of" [Grotius]. The Jews say, "The parents are a sign (warning) to their sons."