The number of planets that orbit the sun depends on what you mean by “planet,” and that’s not so easy to define ...