Seems to check out on the surface 35 billion is a lot to circulate and there are a lot of competitive stakeholders that will try and overtake ADA with a more proprietary coin, so I find this logical. But wilder things have definitely happened, even within the previous 5 years, so i keep a little stake in this either way