"For if Jesus had given them rest, then would he not afterward have spoken of another day. {Jesus: that is, Joshua}"

— Hebrews 4:8 King James Version