Text this: Species of the subtribes Arrenoseiina and Proprioseiopsina (Tribe Amblyseiini) and the tribe Typhloromipsini (Acari: Phytoseiidae) from sub-Saharan Africa