. . "Etymology of: tyrannoctonus" . . .