Paull and Sider (1992) demonstrated formally that global supervenience does not entail even weak sup...