> Eris is bigger than Pluto, so if Pluto’s a planet then so is Eris. So you have 10 planets.

Which is exactly how I remember learning it at the end of highschool (discovered during my junior year): Hey, did you know we just discovered a tenth planet?