How do you think they retired them? Think they had to buy them back? You think maybe they have some deals with the private investors that they offered cheap shares to they can buy them back for cheaper than the current trading price?