A–F Holocerus lucifer. Female holotype of Holocerus lucifer (original combination Tetrix lucifer) from MNHN Paris (A–D) and male holotype of Holocerus taurus syn. nov. from ANSP Philadelphia (E–G) A habitus in lateral view B labels C habitus in dorsal view, (photos A–D J. Skejo & MNHN Paris) D the first depiction of Holocerus lucifer (Augé 1898) E–G holotype of Holocerus taurus (from here on syn. nov. of H. lucifer) E habitus in dorsal view F habitus in lateral view G labels (photos E–G Jason D. Weintraub / ANSP Entomology). Scale bar: 1 cm.