For if Jesus had given them rest, then he would not afterward have spoken of another day.