The 2006 IAU definition presents some challenges for exoplanets because the language is specific to the Solar System and because the criteria of roundness and orbital zone clearance are not presently observable. Astronomer Jean-Luc Margot proposed a mathematical criterion that determines whether an object can clear its orbit during the lifetime of its host star, based on the mass of the planet, its semimajor axis, and the mass of its host star. This formula produces a value π that is greater than 1 for planets. The eight known planets and all known exoplanets have π values above 100, while Ceres, Pluto, and Eris have π values of 0.1 or less. Objects with π values of 1 or more are also expected to be approximately spherical, so that objects that fulfill the orbital zone clearance requirement automatically fulfill the roundness requirement.