Si la especie perteneciese a "Cetiosaurus", el nombre del género sin embargo sería "Cardiodon" ya que este nombre tiene prioridad.