We know that Joshua did not lead the people into that rest, because God spoke later about another day.