For if Jesus {Joshua in Heb.} had given them rest, then he would not afterward have spoken of another day.