The claim assumes propositions and states are distinct entities, but this conflates semantic content...
This proposition has not been edited since the history system was added.