Syntactic convertibility doesn't address the core issue: the semantic argument's validity depends on...
This proposition has not been edited since the history system was added.