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

Abstract. 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 (Proceratium arnoldi, Proceratium stictum and Proceratium toschii clades) and revise the Proceratium arnoldi clade. Four new species from the Proceratium arnoldi clade are described as new: Proceratium sokoke sp. n. from Kenya, Proceratium carri sp. n. from Mozambique, and Proceratium nilo sp. n. and Proceratium 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 Proceratium arnoldi clade. In addition, we provide accounts for all members of the Proceratium arnoldi clade including detailed descriptions, diagnoses, taxonomic discussions, distribution data and high quality montage images.