These two are not equivalent in practice. We’ve created a good set of tools that help one to stay in parts of TC that we agreed to consider relatively sane. TC

These two are not equivalent in practice. We’ve created a good set of tools that help one to stay in parts of TC that we agreed to consider relatively sane. TC is much bigger than we actually use. It is an enormous landscape, and we only dare to walk very specific paths on it, even our hardware specializes on methods we tend to use. A similar set of tools and guardrails has yet to be seen for MT, at least in python-ic category. I think we can agree that relative success of MT in some X doesn’t automagically translate everywhere, because it depends on first principles which are different.