How is population measured here? Based on the answers, I imagined by metropolitan / urban area rather than city proper. However if this if the case, Johannesburg and Pretoria should not be separate answers. The only answer that I missed is Pretoria because of this.