Top: The holotype of Eretis artorius from Kakamega, Kenya (recto and ...