But since when is "up to 8000" known to be less than 17,000?
Correction: Since when is “at least 8000”....