Pitboss, I believe any stocks sold by the managers will have to be disclosed to the SEC. Do you agree?