. . . "Vanderbylia ungulata" .