I think it is reasonable to assume that if he would sell his stake in a public auction, that there would be many new investors coming in to Steem and those Tokens will be treated as regular Steem Tokens. That way we could promote the sell as - Steem becomes more decentralized - and Justin Sun could promote on this and hopefully releases SMT as well on the way :-)