Yeah. If Pluto had been slightly heavier, we’d probably have ended up with a definition of a planet that included its mass instead of clearing its orbit to keep Pluto a planet. But Pluto was cooked when we figured out it’s not really heavier than Ceres.