Also that the US population is roughly 33% larger in 2025 than it was in 1993