"Ceratops horridus" es, por lo tanto, la especie tipo de "Triceratops".