Expressiveness alone doesn't determine equivalence; frameworks may diverge on which propositions cou...
This proposition has not been edited since the history system was added.