text: As of 2006 , over 6,400 species of harvestmen have been discovered worldwide , although the real number of extant species may exceed 10,000 .
simplified: More than 6,400 species of harvestmen have been discovered , although the real number of extant species may exceed 10,000 .