 Well, not all of them are named that, Ari. But it's a reasonable question. But they're still cool because over the years, researchers have found five distinct ceratops there, which shows how diverse the horned dino population was and how they were rapidly evolving.