 And they're collected in something called the Dictionary of Minor Planet Names. And it makes for some delicious browsing because it gives you a little glimpse into what these astronomers find meaningful, you know, meaningful enough to bestow on something out there in outer space. It turns out that there are a lot of lovers of music because there's a minor planet called Dizzy. You can imagine who that's named for. Dizzy Gillespie, sure. Yep.