The definitions are loose enough, I'm kind of surprised nobody has tried making an end run on the whole thing and getting Pluto declared a continent.