and once merged all revenues/earnings of Defi must be included in their quarterly filings so eventually we will find out even without any PR.