 I don't know if it's being challenged, but definitely what is happening is that some people are not comfortable with the dynamical part of the definition, the clearing of the orbit. And planetary scientists have been advocating for a purely geophysical definition. In this case, Pluto is a planet. The moon is a planet.