"only 13,000 species of highly social insects are known, 9,500 of which are ants"
Holldobbler, Bert & Edward O. Wilson. Journey to the Ants : A Story of Scientific Exploration. 1994