Requiring variable-sharing conflates relevance with entailment; A can be relevant to B's truth witho...
This proposition has not been edited since the history system was added.