At one time I assumed this might be true as well, then SMT was announced and I could see @ned has other ideas. Which of course, is very exciting, then we started to talk in the Telegram SMT group about what SMT could do, the use cases, and why SMT is a good idea.
I guess we wait an see..