tucki" como "Heterodontosaurus tucki".