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