[renegade-otter]

We don't really have that nomenclature. We just recently decided what a planet it for the solar system, and even that is contentious.

[ButlerianJihad]

Redefined. We can point to at least 4 distinct definitions and lists of “planets” throughout history.