For if Joshua (Iēsous | Ἰησοῦς | nom sg masc) had given them rest, God would not have spoken of another time after that.
Reference
Hebrews 4:8
Sequence
817