Yes exactly. Standard sites like coinmarketap show only the market cap of the circulating supply. That EXCLUDES these coins held by the founders. But they can sell just as well as anybody else… so on sites like onchainfx you can see Y2050 market cap which usually includes these token.