Aren't restricted shares included in OS count? Who said they are "sold to the market"? It could be true... I just don't have this information.