Yes but whether they are restricted or not and whether management plans to sell them, I believe they still have to be factored into market cap calculation. The float is definitely MUCH lower and they has to be factored in the pps as well since there is much lower shares being traded.