For if Joshua had given them the true rest, we should not afterwards hear God speaking of another still future day.