X must be worth well south of $10bn if that is the number that they are using for employee share issuance.