A taxonomic study on the ant tribe Cephalotini (Hymenoptera: Formicidae).