Substitution preserving truth-value requires more than referential identity; it requires sameness of...
This proposition has not been edited since the history system was added.