Hebrews 4:8 ERV

[8] We know that Joshua did not lead the people into the place of rest that God promised. We know this because God spoke later about another day for rest.