Cricotus

Cricotus is an extinct genus of Embolomeri. It was erected by Cope in 1875, on the basis of fragmentary, not clearly associated remains including caudal vertebrae, on which the name was established, as well as a few other postcranial bones. It was little-used in the subsequent literature, contrary to Archeria, which appears to be a junior synonym of Cricotus. However, given that the type species of Cricotus is a nomen dubium, the name Cricotus is unavailable. This led to Holmes suggesting using the name Archeria for this taxon, though he provided no evidence that he made a formal appeal to the International [Commission on Zoological Nomenclature] for this.