Strong supervenience requires necessity de re, whose modal status differs from global supervenience'...
This proposition has not been edited since the history system was added.