Variable sharing requirements lack principled justification if antecedents cannot obtain anyway; dom...
This proposition has not been edited since the history system was added.