If descriptions individuated referents, there could be no cases of thought-content mismatch between ...
This proposition has not been edited since the history system was added.