冥王星は惑星ではない、豆