How to find a dinosaur, and the role of synonymy in biodiversity studies