If sentential variables truly represent propositions, we need semantic grounding beyond syntax; subs...
This proposition has not been edited since the history system was added.