What is going to be funny is if/when they discover planet 9, and all the apparent Pluto superfans just utterly lose their shit when they attempt to comprehend that there can be another actual planet, and no, pluto still doesn't count.