Tetrixocephalus
willemsei
Gurney & Liebermann, 1963
label (allotype)
Source: USNM Washington, Image Carbonell, C.S.