Procetichthys Paxton [J. R.] 1989:151, 153 Masc. Procetichthys kreffti Paxton 1989. Type by original designation (also monotypic). •Synonym of Mirapinna Bertelsen & Marshall 1956 -- (Johnson et al. 2009:238 [ref. 30005] with Mirapinna as postlarva of Procetichthys, Paxton et al. 2016:2174 [ref. 34605]). •Valid as Procetichthys Paxton 1989 -- (Vieira et al. 2012:[1] [ref. 32078]). Current status: Synonym of Mirapinna Bertelsen & Marshall 1956. Cetomimidae.