Given how many galaxies and planets they are it seems a bit of a hard all to make sure they all have unique names 🤣