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