If individuals supervene on their properties cross-world, and all individuals are identical, global ...
This proposition has not been edited since the history system was added.