Possible worlds semantics confirms this: if we can coherently describe a world where Paul exists alo...
This proposition has not been edited since the history system was added.