I like playing the stock market and know that Paulson is a publicly traded company but all of a sudden I can'y find it listed anywhere. What is the actual name of the company or its trading symbol?