I think most Pluto fans want to define planet as “rock that’s the size of Pluto or bigger”.