The population of the City of Red Deer is approximately 85,000, so there we go to a shift whereby, as I said, the largest community before that was 12,000. That's just one riding, and I believe 30-some thousand—
On February 7th, 2013. See this statement in context.