"Pluto is a dwarf planet, but we are now faced with the absurdity that a
dwarf planet is not a planet," Gingerich retorted. "Is a human dwarf not
a human?"

http://itre.cis.upenn.edu/~myl/langu...es/003504.html