For if Jesus, that is, Joshua, had given rest to them, he should never speak of other after this day.