Formal substitutional semantics (ST) requires only functional rules, not substantive conceptual conn...
This proposition has not been edited since the history system was added.