Cross-world covariance of individuals (same properties across worlds) needn't guarantee global prope...
This proposition has not been edited since the history system was added.