Well it's a calculation isn't it. If Offor and friends own 100% And a small group owns over 50% That means 50% is unaccounted for and must be short. 3 billion x 50% = 1.5 billion shares short