Les astronomes réunis à Prague ont décidé de supprimer Pluton de la liste des planètes. (La raison est qu'elle n'est pas assez grosse pour avoir son orbite à elle: elle croise celui de Neptune.)

La formulation originale du paradoxe de Quine sur la nécessité disparaît:

  1. 9 est nécessairement impair
  2. le nombre de planètes est 9
  3. donc, le nombre de planètes est nécessairement impair

(Je dis le paradoxe de Quine, mais ce n'est pas son nom officiel, et je ne pense pas que Quine l'ait trouvé le premier; mais c'est surtout par lui que je le connais, et il a peut-être inventé cette formulation.)