Technically they own Binances 636,000 coins also since all companies are partially state owned right?