Together , they introduced numerous ( sometimes the number 5000 is mentioned ) taxonomic names .
Together , they introduced many taxonomic names ( sometimes the number 5000 is mentioned ) .