<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:arial,sans-serif">On Sun, Jan 24, 2016 at 7:41 AM, Anders Sandberg </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:anders@aleph.se" target="_blank">anders@aleph.se</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><span class="">
    <blockquote type="cite"><div>
        <p class="MsoNormal"><a href="http://www.sciencemag.org/news/2016/01/feature-astronomers-say-neptune-sized-planet-lurks-unseen-solar-system" target="_blank">http://www.sciencemag.org/news/2016/01/feature-astronomers-say-neptune-sized-planet-lurks-unseen-solar-system</a><u></u><u></u></p>
        </div></blockquote></span><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​> ​</div>Would it actually count as a planet? I seem to recall that the
    Pluto-killing definition includes "has cleared its orbit of
    planetesimals". <br></div></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><font size="4">​I've never quite understood ​that definition. Neptune hasn't cleared its orbit of Pluto so why is Neptune a planet? </font></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><font size="4"><br></font></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><font size="4">  John K Clark</font></div><br></div><br></div></div>