Did you know that the Austrian entomologist Gustav Mayr named more than 500 new species of ant ?