Figuring out all the proper names