It seemed implied by knowing one of two employers and the estimated total size of the population. I could have been wrong.