“Just because Pluto orbits with many other dwarf planets doesn't change what it is, just as whether an object is a mountain or not doesn't depend on whether it's in a group or in isolation.”