If propositions lack location at worlds, it's unclear what makes their truth-values at those worlds ...
This proposition has not been edited since the history system was added.