Leidy en 1868 creó el nuevo taxón "Aublysodon mirandus" para ANSP 9533 a ANSP 9535, con la intención de retener "Deinodon horridus" para los dientes laterales, al menos ANSP 9530, ANSP 9536 y ANSP 9541 a ANSP 9543.