ANSP 9533 y ASNP 9534 son, por lo tanto, implícitamente los sintipos restantes de "Deinodon".