When astronomers discovered a tenth planet in the Solar System, no known as Eris, they had to develop a whole…