Weak global supervenience requires all global duplicates share properties; non-normal frames can sep...
This proposition has not been edited since the history system was added.