"Heimioporus ivoryi" . . . .