Taxonomy of the ant genus Proceratium Roger (Hymenoptera, Formicidae) in the Afrotropical region with a revision of the P. arnoldi clade and description of four new species

The taxonomy of the genus Proceratium Roger is updated for the Afrotropical region. We give an overview of the genus in the region, provide an illustrated identification key to the three clades (P. arnoldi, P. stictum and P. toschii clades) and revise the P. arnoldi clade. Four new species from the P. arnoldi clade are described as new: P. sokoke sp. n. from Kenya, P. carri sp. n. from Mozambique, and P. nilo sp. n. and P. sali sp. n. from Tanzania. In order to integrate the new species into the existing taxonomic system we present an illustrated identification key to distinguish the seven Afrotropical species of the P. arnoldi clade. In addition, we provide accounts for all members of the P. arnoldi clade including detailed descriptions, diagnoses, taxonomic discussions, distribution data and high quality montage images.