Rejecting variable sharing entirely loses explanatory power for why 'if p and not-p, then p' differs...
This proposition has not been edited since the history system was added.